$\forall$$D$:Dsys, $i$:Id, $s$:M($i$).state. stutter{-}state($s$) $\in$ d{-}world{-}state($D$;$i$)